This paper presents a framework that enables robots to automatically recover from assumption violations of high-level specifications during task execution. In contrast to previous methods relying on user intervention to impose additional assumptions for failure recovery, our approach leverages synthesis-based repair to suggest new robot skills that, when implemented, repair the task. Our approach detects violations of environment safety assumptions during the task execution, relaxes the assumptions to admit observed environment behaviors, and acquires new robot skills for task completion. We demonstrate our approach with a Hello Robot Stretch in a factory-like scenario.

Sonos's top-class battery-powered wifi and Bluetooth speaker has been given an all-round upgrade with double the battery life, impressive stereo sound and new touch controls. The Move 2 is certainly not your average portable speaker. It costs £449 (€499/$449/A$799) and aims to be the only sound system you need for indoor and outdoor use, weighing 3kg and sized about the same as a traditional bookshelf speaker. In essence it is the same as its stablemate the Era 100 but with a battery on the bottom so it can be moved from room to room, out into the garden or taken in a car. Like the original from 2020, the Sonos blows away practically every rival that isn't a giant boom box once you crank up the tunes, and even tops its mains-powered sibling.

One person's "deliberate and unhurried" is another's "tardy and overdue," of course. But whatever spin you put on it, there's no denying that Sonos takes its sweet time in developing and launching new products. So the fact that it's replacing its Move portable wireless speaker after just four years seems almost like a rush job. Sonos did rather imply that it had more or less invented Bluetooth simply by finally specifying it for the original Move back in 2019, which will never stop being amusing. But the company obviously realizes there is more to making a competitive speaker than adopting technology everyone else had been utilizing for years--and it's made quite an effort to ensure that the Move 2 is an even more complete and impressive proposition than the product it replaces.